Number Field Definition A field F is called a number field if and only if it is a finite (and hence algebraic) extension of Q. Such a field is a proper subfield of C, that is, Q⊆F⊂C.